module Drv {
    interface Tick {
        @ The cycle outputs. Meant to be connected to rate group driver
        output port CycleOut: Svc.Cycle
    }
}
